Decisions from GobCon on 09.07:

What should happen when we write to a pointer that is either known or NullPtr?

• a) Should we keep the NullPtr and join the known values
• b) Or should we assume that if it is null, the program crashes anyways, and if it continues, the known value can only be the one that was written

• Add b) as default behavior, make it configurable (for now), with option called sem.abort-on-null-deref

We already have the option sem.null-pointer.dereference (for reading) and I think we decided to reuse that for writing. Its name and values might need to be changed though to match both reading and writing.